Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
22

Abrasion and nanoscratch in nanostructured epoxy coatings

Année:
2010
Langue:
english
Fichier:
PDF, 1.40 MB
english, 2010
32

A symbolic semantics for abstract model checking

Année:
2001
Langue:
english
Fichier:
PDF, 226 KB
english, 2001
33

A compositional μ-calculus proof system for statecharts processes

Année:
1999
Langue:
english
Fichier:
PDF, 2.82 MB
english, 1999
38

A typed encoding of boxed into safe ambients

Année:
2006
Langue:
english
Fichier:
PDF, 893 KB
english, 2006
49

On abstract interpretation of Mobile Ambients

Année:
2004
Langue:
english
Fichier:
PDF, 620 KB
english, 2004
50

Abstract interpretation based verification of temporal properties for BioAmbients

Année:
2010
Langue:
english
Fichier:
PDF, 1.18 MB
english, 2010